/// sleep(millisec)
//
//  Sleep for a while
//

var t = current_time + argument0;
while (current_time < t) { /* idle loop */ }
